1

Modal logic and the approximation induction principle

Year:
2012
Language:
english
File:
PDF, 435 KB
english, 2012
2

Abstraction in Fixpoint Logic

Year:
2015
Language:
english
File:
PDF, 708 KB
english, 2015
3

Distinguishing between communicating transactions

Year:
2017
Language:
english
File:
PDF, 1.84 MB
english, 2017